<!DOCTYPE html>
<html>
    <head>
        <style>
            .code {
                white-space: pre-wrap;
                font-family: monospace;
                width: 100%;
            }

            .miss {
                background-color: #FF0000;
            }

            .hit, .undef {
                background-color: #94FF7C;
            }
        </style>
    </head>
    <body>

        COLORIZED_LINE_HTML

    </body>
</html>

